Turning CO2 into rock